SCAT: An Automatic-Programming Tool for Telecommunications Software

نویسندگان

  • S. Barra
  • O. Ghisio
  • F. Manucci
چکیده

The size, complexity and long 1 ife-time of telecommunications software, e.g. the programs for store program control (SPC) telephone exchanges, call for an increased software productivi ty and maintainability other than an improved qua1 ity. The availability of programming support environments based on standardized specification and programming languages greatly improves the software development process. Artificial Intelligence techniques are very promising aiming at further improvements and can provide a short-term payoff especially within an evolutionary approach leading up to an hybrid programming environment, i.e. a software environment made of both conventional and intelligent tools. The paper describes an intelligent tool, dubbed SCAT, based on ideas exploited by various automatic programming systems, like CHI, Programmer’s Apprentice and DEDALUS. SCAT is strictly related to the telecommunications domain, thus it differs from other systems in the domain specifity. SCAT partly automatizes the most crucial phase in the software development process, i.e. the transition from project’s detailed specification to the actual software implementation. SCAT has been tested in a few experimental software developments and in an actual application,i.e. the message hand1 ing system (MHS) to be made available in the Italian public packet switching network (ITAPAC).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Refinement calculus for a simple certification of static polyhedral analysis with code transformations

A static analyzer such as ASTRÉE [CCF05, BCC10] is able to ensure safety of critical software, i.e. the absence of runtime overflows. But ASTRÉE is itself a very complex software and its full formal verification seems currently impossible. A more feasible alternative might be to make the analyzer produce a formally verifiable certificate. Such a certificate would summarize the proof of safety f...

متن کامل

Dimensionality Reduction and Improving the Performance of Automatic Modulation Classification using Genetic Programming (RESEARCH NOTE)

This paper shows how we can make advantage of using genetic programming in selection of suitable features for automatic modulation recognition. Automatic modulation recognition is one of the essential components of modern receivers. In this regard, selection of suitable features may significantly affect the performance of the process. Simulations were conducted with 5db and 10db SNRs. Test and ...

متن کامل

" Automatic Code for Embedded Systems Based on Formal Methods"

Authors This paper has been jointly developed by the Swedish software tool vendor Telelogic AB and the German software house S&P Media GmbH. Telelogic AB is a subsidiary of SAAB Combitech AB. The authors of this paper are: 1. Introduction Telecommunications software was one of the first areas to experience problems with complex real-time software and to start work to find ways to solve them. Si...

متن کامل

Using Automatic Memoization as a Software Engineering Tool in Real-world Ai Systems

Memo functions and memoization are well known concepts in AI programming. They have been around since the sixties and are often used as examples in introductory programming texts. However, the automation of memoization as a practical software engineering tool for AI systems has never received a detailed treatment. This paper describes how automatic memoization can be made viable on a large scal...

متن کامل

Radc Scat Automated Sneak Circuit Analysis Tool

Standard Sneak Analysis procedures are costly from a time, money and personnel perspective. The processing of design data available only during the latter portions of the development cycle are highly labor intensive and difficult to institute a design change. Automated techniques for sneak analysis have been developed by several contractors for the workstation environment, but are either not co...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1986